A normal form for logical derivations implying one for arithmetic derivations
نویسندگان
چکیده
منابع مشابه
Dynamic Derivations for Sequent-Based Logical Argumentation
We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented...
متن کاملDeep Inference and Its Normal Form of Derivations
We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notion of cut-free proof in this formalism.
متن کاملNormal Derivations in Norm Ideals
We establish the orthogonality of the range and the kernel of a normal derivation with respect to the unitarily invariant norms associated with norm ideals of operators. Related orthogonality results for certain nonnormal derivations are also given.
متن کاملDerivations as Proofs a Logical Approach to Minimalism
The purpose of this paper is to show that we can work in the spirit of minimalist grammars by means of a labelled commutative (and associative) calculus (Oehrle’s Mon:LP), enriched with constraints on the use of assumptions. Lexical entries are considered proper axioms, some of which are coupled with (sequences of) hypotheses which must necessarily be introduced and discharged before the use of...
متن کاملNotation systems for infinitary derivations
It is one of Kurt Schiitte's great merits to have established cut-elimination on infinitary derivations as a powerful and elegant tool for proof-theoretic investigations. Compared to the Gentzen-Takeuti approach where ordinals are assigned to finite derivations in a rather cryptic way, the use of infinitary derivations together with the canonical assignment of ordinals as lengths of derivations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1993
ISSN: 0168-0072
DOI: 10.1016/0168-0072(93)90188-j